Constraint-Based Design-Space Exploration and Model Synthesis
نویسندگان
چکیده
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing model components in the design process. This paper describes a tool suite, which has been developed for component-based model synthesis. The DESERT tool suite can be interfaced to existing modeling and analysis environments and can be inserted in various, domain specific design flows. The modeling component of DESERT supports the modeling of design spaces and the automated search for designs that meet structural requirements. DESERT has been introduced in automotive applications and proved to be useful in increasing design productivity.
منابع مشابه
System-Level Synthesis of Adaptive Computing Systems
With the rapid proliferation of embedded computer technology over the years, functional and performance demands from embedded computer systems have increased severely. In addition to the resource and size constraints, these systems may need to function in rapidly changing environments where performance and functional goals change over time. Adaptive Computing has been considered to meet the con...
متن کاملDesign Space Exploration in System Level Synthesis under Memory Constraints
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constraints of different nature, such as cost, execution time, memory capacity and limitations on resource usage. Previous approaches have concentrated on a specific class of requirements and thus they limit number of constra...
متن کاملπ-Resolution in Design Space Exploration
In studying the phenomenon of design we use models to envision mechanisms by which computers might support design. In one such model we understand design as guided movement through a space of possibilities. Design space explorers embody this model as mixed-initiative environments in which designers engage in exploration via human computer interaction. Constraint resolution provides a formal fra...
متن کاملOptimum synthesis of a four-bar mechanism using the modified bacterial foraging algorithm
This paper presents the mechanical synthesis of a four-bar mechanism, its definition as a constrained optimization problem in presence of one dynamic constraint and its solution with a swarm intelligence algorithm based on the bacteria foraging process. The algorithm is adapted to solve the optimization problem by adding a suitable constraint-handling technique able to incorporate a selection c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003